Theoretical Aspects of Computing – ICTAC 2014
Identifieur interne : 000934 ( Main/Exploration ); précédent : 000933; suivant : 000935Theoretical Aspects of Computing – ICTAC 2014
Auteurs : Gabriel Ciobanu ; Dominique Méry [France]Source :
English descriptors
Abstract
The International Colloquium on Theoretical Aspects of Computing(ICTAC) was founded in 2004. In 2014, the eleventh edition of ICTAC isorganized for the first time in Europe, namely in Bucharest, Romania.Since its early days, the study of computer science in Romania has hada strong theoretical component, owing in part to the mathematicalorientation of some of its most notable pioneers, such as ProfessorGrigore Moisil. In modern times, this legacy is proudly carried on byseveral prestigious research institutions, such as the University ofBucharest and the Romanian Academy.A burgeoning metropolis in recent years, Bucharest is a lively,cosmopolitan city. Featuring an eclectic mix of architectural stylesand traditions, cultural and artistic life, Bucharest is an idealsetting for the 11th International Colloquium on Theoretical Aspectsof Computing. The Colloquium aims to bring together practitioners andresearchers from academia, industry and government, with the purposeof encouraging the presentation of novel research directions, throughthe exchange of both ideas and experience, related to currenttheoretical challenges in computing, as well as practical applicationsof existing theoretical results. An additional goal is that ofpromoting wide-reaching forms of cooperation in research and educationbetween participants and their institutions, from developing andindustrial countries.We are honored to have three distinguished guests as invited speakers: Cristian Calude (University of Auckland, New Zealand), Jin-Song Dong (National University of Singapore, Singapore), and Razvan Diaconescu (Institute of Mathematics of the Romanian Academy, Bucharest). Professor Solomon Marcus will be a special guest, providing a talk on important differences and similarities between Theoretical Computer Science project and the Bourbaki project in Mathematics.Professor Cristian Calude will present a talk entitled\textit{ Probabilistic solutions to undecidable problems} which addresses the (in)famous algorithmically undecidable halting problem. Undecidability is everywhere: in logic, mathematics, computer science, engineering, physics, \ldots ; the talk reveals how a probabilistic method can help deal with undecidable problems.Professor Jin-Son Dong will present a talk entitled \textit{Event Analytics} in which he will describe the Process Analysis Toolkit and his vision of \textit{event analytics}, which goes beyond \textit{data analytics}. The event analytics research is based on applying model checking to event planning, scheduling, prediction, strategy analysis and decision making.Professor Razvan Diaconescu will present a talk entitled \textit{From Universal Logic to Computer Science, and Back}, focusing on universal logic. He will recall some important ideas that have shaped the success of institutional model theory in computer science. Moreover, he shows how insights from computer science have led (through institutional model theory theory) to a (sometimes drastic) reformulation and novel understanding of several important concepts in logic, resulting in a set of new and important results.
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 004D14
- to stream Hal, to step Curation: 004D14
- to stream Hal, to step Checkpoint: 000868
- to stream Main, to step Merge: 000935
- to stream Main, to step Curation: 000934
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Theoretical Aspects of Computing – ICTAC 2014</title>
<author><name sortKey="Ciobanu, Gabriel" sort="Ciobanu, Gabriel" uniqKey="Ciobanu G" first="Gabriel" last="Ciobanu">Gabriel Ciobanu</name>
</author>
<author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-206041" status="VALID"><orgName>Proof-oriented development of computer-based systems</orgName>
<orgName type="acronym">MOSEL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref>
</desc>
<listRelation><relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-01097627</idno>
<idno type="halId">hal-01097627</idno>
<idno type="halUri">https://hal.inria.fr/hal-01097627</idno>
<idno type="url">https://hal.inria.fr/hal-01097627</idno>
<date when="2014-09-17">2014-09-17</date>
<idno type="wicri:Area/Hal/Corpus">004D14</idno>
<idno type="wicri:Area/Hal/Curation">004D14</idno>
<idno type="wicri:Area/Hal/Checkpoint">000868</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000868</idno>
<idno type="wicri:Area/Main/Merge">000935</idno>
<idno type="wicri:Area/Main/Curation">000934</idno>
<idno type="wicri:Area/Main/Exploration">000934</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Theoretical Aspects of Computing – ICTAC 2014</title>
<author><name sortKey="Ciobanu, Gabriel" sort="Ciobanu, Gabriel" uniqKey="Ciobanu G" first="Gabriel" last="Ciobanu">Gabriel Ciobanu</name>
</author>
<author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-206041" status="VALID"><orgName>Proof-oriented development of computer-based systems</orgName>
<orgName type="acronym">MOSEL</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref>
</desc>
<listRelation><relation active="#struct-423084" type="direct"></relation>
<relation active="#struct-206040" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName>
<orgName type="acronym">LORIA - FM</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref>
</desc>
<listRelation><relation active="#struct-206040" type="direct"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-413289" type="indirect"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno>
<idno type="RNSR">198912571S</idno>
<idno type="IdUnivLorraine">[UL]RSI--</idno>
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation><relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-413289" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno>
<idno type="IdUnivLorraine">[UL]100--</idno>
<orgName>Université de Lorraine</orgName>
<orgName type="acronym">UL</orgName>
<date type="start">2012-01-01</date>
<desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lorraine.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<settlement type="city">Metz</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université de Lorraine</orgName>
</affiliation>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Theoretical computer science</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">The International Colloquium on Theoretical Aspects of Computing(ICTAC) was founded in 2004. In 2014, the eleventh edition of ICTAC isorganized for the first time in Europe, namely in Bucharest, Romania.Since its early days, the study of computer science in Romania has hada strong theoretical component, owing in part to the mathematicalorientation of some of its most notable pioneers, such as ProfessorGrigore Moisil. In modern times, this legacy is proudly carried on byseveral prestigious research institutions, such as the University ofBucharest and the Romanian Academy.A burgeoning metropolis in recent years, Bucharest is a lively,cosmopolitan city. Featuring an eclectic mix of architectural stylesand traditions, cultural and artistic life, Bucharest is an idealsetting for the 11th International Colloquium on Theoretical Aspectsof Computing. The Colloquium aims to bring together practitioners andresearchers from academia, industry and government, with the purposeof encouraging the presentation of novel research directions, throughthe exchange of both ideas and experience, related to currenttheoretical challenges in computing, as well as practical applicationsof existing theoretical results. An additional goal is that ofpromoting wide-reaching forms of cooperation in research and educationbetween participants and their institutions, from developing andindustrial countries.We are honored to have three distinguished guests as invited speakers: Cristian Calude (University of Auckland, New Zealand), Jin-Song Dong (National University of Singapore, Singapore), and Razvan Diaconescu (Institute of Mathematics of the Romanian Academy, Bucharest). Professor Solomon Marcus will be a special guest, providing a talk on important differences and similarities between Theoretical Computer Science project and the Bourbaki project in Mathematics.Professor Cristian Calude will present a talk entitled\textit{ Probabilistic solutions to undecidable problems} which addresses the (in)famous algorithmically undecidable halting problem. Undecidability is everywhere: in logic, mathematics, computer science, engineering, physics, \ldots ; the talk reveals how a probabilistic method can help deal with undecidable problems.Professor Jin-Son Dong will present a talk entitled \textit{Event Analytics} in which he will describe the Process Analysis Toolkit and his vision of \textit{event analytics}, which goes beyond \textit{data analytics}. The event analytics research is based on applying model checking to event planning, scheduling, prediction, strategy analysis and decision making.Professor Razvan Diaconescu will present a talk entitled \textit{From Universal Logic to Computer Science, and Back}, focusing on universal logic. He will recall some important ideas that have shaped the success of institutional model theory in computer science. Moreover, he shows how insights from computer science have led (through institutional model theory theory) to a (sometimes drastic) reformulation and novel understanding of several important concepts in logic, resulting in a set of new and important results.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Metz</li>
<li>Nancy</li>
</settlement>
<orgName><li>Université de Lorraine</li>
</orgName>
</list>
<tree><noCountry><name sortKey="Ciobanu, Gabriel" sort="Ciobanu, Gabriel" uniqKey="Ciobanu G" first="Gabriel" last="Ciobanu">Gabriel Ciobanu</name>
</noCountry>
<country name="France"><region name="Grand Est"><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000934 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000934 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= Hal:hal-01097627 |texte= Theoretical Aspects of Computing – ICTAC 2014 }}
This area was generated with Dilib version V0.6.33. |